|
In mathematics, specifically in homotopy theory, a classifying space ''BG'' of a topological group ''G'' is the quotient of a weakly contractible space ''EG'' (i.e. a topological space for which all its homotopy groups are trivial) by a free action of ''G''. It has the property that any ''G'' principal bundle over a paracompact manifold is isomorphic to a pullback of the principal bundle ''EG'' → ''BG''.〔, Theorem 2〕 For a discrete group ''G'', ''BG'' is, roughly speaking, a path-connected topological space ''X'' such that the fundamental group of ''X'' is isomorphic to ''G'' and the higher homotopy groups of ''X'' are trivial, that is, ''BG'' is an Eilenberg-Maclane space, or a ''K(G,1)''. ==Motivation== An example for ''G'' infinite cyclic is the circle as ''X''. When ''G'' is a discrete group, another way to specify the condition on ''X'' is that the universal cover ''Y'' of ''X'' is contractible. In that case the projection map : becomes a fiber bundle with structure group ''G'', in fact a principal bundle for ''G''. The interest in the classifying space concept really arises from the fact that in this case ''Y'' has a universal property with respect to principal ''G''-bundles, in the homotopy category. This is actually more basic than the condition that the higher homotopy groups vanish: the fundamental idea is, given ''G'', to find such a contractible space ''Y'' on which ''G'' acts ''freely''. (The weak equivalence idea of homotopy theory relates the two versions.) In the case of the circle example, what is being said is that we remark that an infinite cyclic group ''C'' acts freely on the real line ''R'', which is contractible. Taking ''X'' as the quotient space circle, we can regard the projection π from ''R'' = ''Y'' to ''X'' as a helix in geometrical terms, undergoing projection from three dimensions to the plane. What is being claimed is that π has a universal property amongst principal ''C''-bundles; that any principal ''C''-bundle in a definite way 'comes from' π. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「classifying space」の詳細全文を読む スポンサード リンク
|